第54回プログラミングシンポジウム「ポスター発表 保証ケースにもとづく品質管理されたスクリプト処理系」